3

A minimalist two-level foundation for constructive mathematics

Year:
2009
Language:
english
File:
PDF, 1.67 MB
english, 2009
32

Constructive version of Boolean algebra

Year:
2013
Language:
english
File:
PDF, 207 KB
english, 2013
40

Quotient Completion for the Foundation of Constructive Mathematics

Year:
2013
Language:
english
File:
PDF, 431 KB
english, 2013